منابع مشابه
Eeectivizing Inseparability
Smullyan's notion of eeectively inseparable pairs of sets is not the best eeec-tive/constructive analog of Kleene's notion of pairs of sets inseparable by a recursive set. We present a corrected notion of eeectively inseparable pairs of sets, prove a characterization of our notion, and show that the pairs of index sets eeectively inseparable in Smullyan's sense are the same as those eeectively ...
متن کاملQuantum Nonlocality and Inseparability
wK = 1. A necessary condition for separability is derived and is shown to be more sensitive than Bell’s inequality for detecting quantum inseparability. Moreover, collective tests of Bell’s inequality (namely, tests that involve several composite systems simultaneously) may sometimes lead to a violation of Bell’s inequality, even if the latter is satisfied when each composite system is tested s...
متن کاملInseparability of Min-max Systems
Min-max systems, or min-max-plus systems are algebraic models of Discrete Event Dynamic Systems. They are non-linear extension of the well known linear max-plus system models. In this paper, we survey our recent research results related to the structural property ”inseparability” of min-max systems proposed in [24]. It turns out inseparability has very interesting relationship to many aspects o...
متن کاملQuery Inseparability by Games
We investigate conjunctive query inseparability of description logic knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange. We develop a game-theoretic technique for checking query inseparability of KBs expressed in fragments of Horn-ALCHI, and show a number of complexity results ranging from P to E...
متن کاملLocal description of quantum inseparability
We show how to decompose any density matrix of the simplest binary composite systems, whether separable or not, in terms of only product vectors. We determine for all cases the minimal number of product vectors needed for such a decomposition. Separable states correspond to mixing from one to four pure product states. Inseparable states can be described as pseudomixtures of four or five pure pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics A: Mathematical and General
سال: 2006
ISSN: 0305-4470,1361-6447
DOI: 10.1088/0305-4470/39/26/011